#include <os.h>

void kern_init(void) {
    printf("\nHello RTOS\n");
    printf("os loading...\n\n");

    // // page_init();

    trap_init();
    
    timer_intr_enable();
    ex_intr_enable();
    intr_enable();
    
    // sched_init();
    
    // os_main();
    
    // task_yield();

    printf("get: %c\n", getchar());
    while(1);
}